Executable Biochemical Space for Specification and Analysis of Biochemical Systems
نویسندگان
چکیده
منابع مشابه
A Language for Biochemical Systems: Design and Formal Specification
This paper introduces a Language for Biochemical Systems (LBS) which combines rule-based approaches to modelling with modularity. It is based on the Calculus of Biochemical Systems (CBS) which affords modular descriptions of metabolic, signalling and regulatory networks in terms of reactions between modified complexes, occurring concurrently inside a hierarchy of compartments and with possible ...
متن کاملStochastic Control Analysis for Biochemical Reaction Systems
We investigate how stochastic reaction processes are affected by external perturbations. We describe an extension of the deterministic metabolic control analysis (MCA) to the stochastic regime. We introduce stochastic sensitivities for mean and covariance values of reactant concentrations and reaction fluxes and show that there exist MCA-like summation theorems among these sensitivities. The su...
متن کاملPhenotypes and tolerances in the design space of biochemical systems.
One of the major unsolved problems of modern biology is deep understanding of the complex relationship between the information encoded in the genome of an organism and the phenotypic properties manifested by that organism. Fundamental advances must be made before we can begin to approach the goal of predicting the phenotypic consequences of a given mutation or an organism's response to a novel ...
متن کاملExecutable specification of open multi-agent systems
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent’s internal state, are often classified as ‘open’. The members of such systems may inadvertently fail to, or even deliberately choose not to, conform to the system specification. Consequently, it is necessary to specify the normative relations that may exist between th...
متن کاملQualitative analysis of biochemical reaction systems.
The qualitative analysis of biochemical reaction systems is presented. A discrete event systems approach is used to represent and analyze bioreaction pathways. The approach is based on Petri nets, which are particularly suited to modeling stoichiometric transformations, i.e. the inter-conversion of metabolites in fixed proportions. The properties and methods for the analysis of Petri nets, alon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2020
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2020.06.006